w{-}after($w$; $x$; $e$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$w{-}s($w$; 1of($e$); (2of($e$)+1); $x$)